<html>
<head><meta charset="utf-8"><title>linting · t-compiler/wg-rustc-dev-guide · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/index.html">t-compiler/wg-rustc-dev-guide</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html">linting</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="199929634"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/199929634" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#199929634">(Jun 05 2020 at 20:25)</a>:</h4>
<p>Do we have any coverage of writing lints?</p>



<a name="199929656"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/199929656" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#199929656">(Jun 05 2020 at 20:25)</a>:</h4>
<p>man so much to document:)</p>



<a name="199929925"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/199929925" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Chris Simpkins <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#199929925">(Jun 05 2020 at 20:28)</a>:</h4>
<p><a href="https://rustc-dev-guide.rust-lang.org/diagnostics.html#lints">https://rustc-dev-guide.rust-lang.org/diagnostics.html#lints</a></p>



<a name="199930104"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/199930104" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Chris Simpkins <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#199930104">(Jun 05 2020 at 20:29)</a>:</h4>
<p><a href="https://rustc-dev-guide.rust-lang.org/diagnostics/lintstore.html">https://rustc-dev-guide.rust-lang.org/diagnostics/lintstore.html</a></p>



<a name="199939822"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/199939822" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#199939822">(Jun 05 2020 at 22:13)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I'm curious if you're asking because it was genuinely hard to find or if you were just asking a quick question and didn't check</p>



<a name="199939874"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/199939874" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#199939874">(Jun 05 2020 at 22:14)</a>:</h4>
<p>i.e. is your question due to the organization of the guide?</p>



<a name="199962526"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/199962526" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#199962526">(Jun 06 2020 at 08:14)</a>:</h4>
<p>I think <span class="user-mention" data-user-id="308839">@OddCoincidence</span> would be happy to help for this ^^</p>



<a name="199962653"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/199962653" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#199962653">(Jun 06 2020 at 08:18)</a>:</h4>
<p>Oh it’s already covered, nevermind</p>



<a name="199962666"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/199962666" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#199962666">(Jun 06 2020 at 08:19)</a>:</h4>
<p>By the way a PR example for creating a new lint could be <a href="https://github.com/rust-lang/rust/issues/72270">#72270</a></p>



<a name="199967685"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/199967685" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Phil H <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#199967685">(Jun 06 2020 at 10:19)</a>:</h4>
<p>The Clippy docs might be relevant here as well: <a href="https://github.com/rust-lang/rust-clippy/blob/master/doc/adding_lints.md#lint-declaration">https://github.com/rust-lang/rust-clippy/blob/master/doc/adding_lints.md#lint-declaration</a> of course they're written for adding lints to Clippy but much of it still applies</p>



<a name="199992035"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/199992035" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> OddCoincidence <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#199992035">(Jun 06 2020 at 20:35)</a>:</h4>
<p>I'm looking for a good lint to add as my second rustc task. <a href="https://github.com/rust-lang/rust/issues/71493">#71493</a> looks super useful, but i think I'd need a lot of guidance</p>



<a name="199997928"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/199997928" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#199997928">(Jun 06 2020 at 23:27)</a>:</h4>
<p><span class="user-mention" data-user-id="308839">@OddCoincidence</span> I guess you’ll need to dive into <code>rustc_typeck::check</code> and maybe <code>rustc_typeck::check::coerce</code></p>



<a name="200157569"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/200157569" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#200157569">(Jun 08 2020 at 21:21)</a>:</h4>
<p><span class="user-mention" data-user-id="198054">@mark-i-m</span> I did check but did not find it</p>



<a name="200157643"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/200157643" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#200157643">(Jun 08 2020 at 21:22)</a>:</h4>
<p>I think having the word "lint" would help</p>



<a name="200169056"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/200169056" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#200169056">(Jun 08 2020 at 23:45)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> Can you elaborate on how you checked? For example, when I searched for "lint", the first result is "Declaring a Lint": <a href="https://rustc-dev-guide.rust-lang.org/?search=lint">https://rustc-dev-guide.rust-lang.org/?search=lint</a></p>



<a name="200169078"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/200169078" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#200169078">(Jun 08 2020 at 23:45)</a>:</h4>
<p>Is there some other way of checking that people are prone to use?</p>



<a name="200169135"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/200169135" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#200169135">(Jun 08 2020 at 23:46)</a>:</h4>
<p>(Admittedly, the search results are not exactly easy to parse at first glance)</p>



<a name="200399198"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/200399198" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#200399198">(Jun 10 2020 at 10:23)</a>:</h4>
<p><span class="user-mention" data-user-id="198054">@mark-i-m</span> I didn't realize there even was a search function. I usually  just cast an eye down the ToC</p>



<a name="200399292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/200399292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#200399292">(Jun 10 2020 at 10:24)</a>:</h4>
<p>I think if "Emitting Errors and other diagnostics" were changed to "Errors and Lints"</p>



<a name="200399297"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/200399297" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#200399297">(Jun 10 2020 at 10:24)</a>:</h4>
<p>I'd have seen it right away</p>



<a name="200427609"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/200427609" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Chris Simpkins <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#200427609">(Jun 10 2020 at 14:58)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/linting/near/200399198">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="198054">mark-i-m</span> I didn't realize there even was a search function. I usually  just cast an eye down the ToC</p>
</blockquote>
<p><a href="/user_uploads/4715/XAo63KlBPQ598HWj4QjvFzdu/2020-06-10_10-57-09.png">2020-06-10_10-57-09.png</a></p>
<div class="message_inline_image"><a href="/user_uploads/4715/XAo63KlBPQ598HWj4QjvFzdu/2020-06-10_10-57-09.png" title="2020-06-10_10-57-09.png"><img src="/user_uploads/4715/XAo63KlBPQ598HWj4QjvFzdu/2020-06-10_10-57-09.png"></a></div>



<a name="200428157"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/200428157" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#200428157">(Jun 10 2020 at 15:01)</a>:</h4>
<p>yep, I see it now :) but I think it'd be good to try to make the ToC as discoverable as possible for folks who might not realize it exists</p>



<a name="200428317"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/200428317" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#200428317">(Jun 10 2020 at 15:02)</a>:</h4>
<p>I agree that having "lints" in the title of the page seems better</p>



<a name="200428386"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/200428386" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#200428386">(Jun 10 2020 at 15:03)</a>:</h4>
<p>"Other diagnostics" is a bit fuzzy IMO</p>



<a name="200428599"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/200428599" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Chris Simpkins <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#200428599">(Jun 10 2020 at 15:04)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/linting/near/200428157">said</a>:</p>
<blockquote>
<p>yep, I see it now <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span> but I think it'd be good to try to make the ToC as discoverable as possible for folks who might not realize it exists</p>
</blockquote>
<p>For some of the longer pages with many sections, I think that this means that we need to split out into separate pages to expose them in the ToC.  IIUC, this static site generator does not format higher level headers within a page in the ToC.</p>



<a name="200428807"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/200428807" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Chris Simpkins <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#200428807">(Jun 10 2020 at 15:06)</a>:</h4>
<p>We need larger icons too <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="200449993"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/200449993" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#200449993">(Jun 10 2020 at 17:37)</a>:</h4>
<p>Yep, it's in the top-left corner next to the sidebar (or you can press <code>s</code>)</p>



<a name="200450202"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/200450202" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#200450202">(Jun 10 2020 at 17:39)</a>:</h4>
<p>Oh, once again, I realize that I'm late :P</p>



<a name="200450267"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/200450267" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#200450267">(Jun 10 2020 at 17:39)</a>:</h4>
<p><span class="user-mention" data-user-id="262810">@Chris Simpkins</span> regarding icon size, perhaps open an issue on mdbook?</p>



<a name="200450404"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/200450404" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#200450404">(Jun 10 2020 at 17:40)</a>:</h4>
<p><span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> Could you make a PR to change the name of the chapter?</p>



<a name="200450439"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/200450439" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#200450439">(Jun 10 2020 at 17:40)</a>:</h4>
<p>Sure, no problem</p>



<a name="200451198"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/200451198" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#200451198">(Jun 10 2020 at 17:46)</a>:</h4>
<p><span class="user-mention" data-user-id="198054">@mark-i-m</span> Opened <a href="https://github.com/rust-lang/rustc-dev-guide/issues/742">rustc-dev-guide#742</a></p>



<a name="200456014"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting/near/200456014" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Chris Simpkins <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/linting.html#200456014">(Jun 10 2020 at 18:21)</a>:</h4>
<p><span class="user-mention" data-user-id="198054">@mark-i-m</span> opened <a href="https://github.com/rust-lang/mdBook/issues/1250">https://github.com/rust-lang/mdBook/issues/1250</a></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>